首页> 外文OA文献 >A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

【2h】

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

机译：定时转换系统相关和保留TCTL模型检查的框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jiri Srba;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fully Symbolic TCTL Model Checking for Incomplete Timed Systems [J] . Georges Morbé, Christoph Scholl Electronic Communications of the EASST . 2014,第3期

机译：不完整定时系统的完全符号TCTL模型检查
2. Fully symbolic TCTL model checking for complete and incomplete real-time systems [J] . Georges Morbe, Christoph Scholl Science of Computer Programming . 2015,第NOVa1PTa2期

机译：完整和不完整的实时系统的完全符号TCTL模型检查
3. An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models [J] . Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani Science of Computer Programming . 2018,第feba15期

机译：高效的TCTL模型检查算法和归约参与者模型验证的归约技术
4. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking [C] . Lasse Jacobsen, Morten Jacobsen, Mikael H. M?ller, Computer performance engineering . 2010

机译：定时转换系统和保留TCTL模型检查的框架
5. Runtime Conformance Checking of Mobile Agent Systems Using Executable Models. [D] . Saifan, Ahmad A. 2010

机译：使用可执行模型的移动代理系统的运行时一致性检查。
6. A unified framework for modelling sediment fate from source to sink and its interactions with reef systems over geological times [O] . Tristan Salles, Xuesong Ding, Jody M. Webster, -1

机译：一个统一的框架用于模拟源头到汇的沉积物命运及其在地质时期与礁石系统的相互作用
7. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking [O] . Jacobsen, Lasse, Jacobsen, Morten, Møller, Mikael Harkjær, 2010

机译：一种关联定时过渡系统并保留TCTL模型检测的框架
8. Model Checking is Refinement: Relating Buchi Testing and Linear-Time Temporal Logic [R] . Cleaveland, Rance, Luettgen, Gerald 2000

机译：模型检查是精细化：关于步比测试和线性时间时序逻辑

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅